ABOUT WELL MODEL

Well-Behaved Model Transformations with Model Subtyping

In model-driven engineering, models abstract the relevantfeatures of software artefacts and model transformations acton them automating large tasks of the development process.It is, thus, crucially important to provide pragmatic, reliablemethods to verify that model transformations guarantee thecorrectness of generated models in order to ensure the qual-ity of the final ...

Well informed uncertainties about the effects of treatments.

How to Think About and Measure Psychological Well-being

Like the broader construct of health, well-being takes many forms and has no single index. Effective measurement clearly requires instruments that are technically sound, but particularly important is clarity about the form of well-being to be measured. Only when we are clear what we are trying to assess can we decide whether we have been successful. This chapter will focus on conceptual themes ...

The new stylized facts about income and subjective well-being.

Economists in recent decades have turned their attention to data that asks people how happy or satisfied they are with their lives. Much of the early research concluded that the role of income in determining well-being was limited, and that only income relative to others was related to well-being. In this paper, we review the evidence to assess the importance of absolute and relative income in ...

A Logic for Reasoning about Well-Founded Semantics: Preliminary Report

The paper presents a preliminary solution to a long-standing problem in the foundations of well-founded semantics for logic programs. The problem addressed is this: which logic can be considered adequate for well-founded semantics (WFS) in the sense that its minimal models (appropriately defined) coincide with the partial stable models of a logic program? We approach this problem by identifying...